Model bicategories and their homotopy bicategories
نویسندگان
چکیده
We give the definitions of model bicategory and q-homotopy, which are natural generalizations notions category homotopy to context bicategories. For any C, denote by Cfc full sub-bicategory fibrant-cofibrant objects. prove that 2-dimensional localization C at weak equivalences can be computed as a Ho(C) whose objects arrows those 2-cells classes q-homotopies up an equivalence relation. When considered for category, coincide with homotopies Quillen. The pseudofunctor C⟶qHo(C) yields is constructed using notion replacement in this context. include appendix general result independent interest on transfer structure lax functors, we apply obtain replacement.
منابع مشابه
Basic Bicategories
A concise guide to very basic bicategory theory, from the definition of a bicategory to the coherence theorem.
متن کاملIntroduction to linear bicategories
Linear bicategories are a generalization of bicategories, in which the one horizontal composition is replaced by two (linked) horizontal compositions. These compositions provide a semantic model for the tensor and par of linear logic: in particular, as composition is fundamentally noncommutative, they provide a suggestive source of models for noncommutative linear logic. In a linear bicategory,...
متن کاملMonads and Interpolads in Bicategories
Given a bicategory, Y , with stable local coequalizers, we construct a bicategory of monads Y -mnd by using lax functors from the generic 0-cell, 1-cell and 2-cell, respectively, into Y . Any lax functor into Y factors through Y -mnd and the 1-cells turn out to be the familiar bimodules. The locally ordered bicategory rel and its bicategory of monads both fail to be Cauchy-complete, but have a ...
متن کاملBicategories of Concurrent Games
This paper summarises recent results on bicategories of concurrent games and strategies. Nondeterministic concurrent strategies, those nondeterministic plays of a game left essentially unchanged by composition with copy-cat strategies, have recently been characterized as certain maps of event structures. This leads to a bicategory of general concurrent games in which the maps are nondeterminist...
متن کاملFramed Bicategories and Monoidal Fibrations
In some bicategories, the 1-cells are ‘morphisms’ between the 0cells, such as functors between categories, but in others they are ‘objects’ over the 0-cells, such as bimodules, spans, distributors, or parametrized spectra. Many bicategorical notions do not work well in these cases, because the ‘morphisms between 0-cells’, such as ring homomorphisms, are missing. We can include them by using a p...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Advances in Mathematics
سال: 2022
ISSN: ['1857-8365', '1857-8438']
DOI: https://doi.org/10.1016/j.aim.2022.108455